W_2[0,0] + K_3[0,0] + X_3[0,0]
W_2[0,1] + K_3[0,1] + X_3[0,1]
W_2[0,2] + K_3[0,2] + X_3[0,2]
W_2[0,3] + K_3[0,3] + X_3[0,3]
W_2[1,0] + K_3[1,0] + X_3[1,0]
W_2[1,1] + K_3[1,1] + X_3[1,1]
W_2[1,2] + K_3[1,2] + X_3[1,2]
W_2[1,3] + K_3[1,3] + X_3[1,3]
W_2[2,0] + K_3[2,0] + X_3[2,0]
W_2[2,1] + K_3[2,1] + X_3[2,1]
W_2[2,2] + K_3[2,2] + X_3[2,2]
W_2[2,3] + K_3[2,3] + X_3[2,3]
W_2[3,0] + K_3[3,0] + X_3[3,0]
W_2[3,1] + K_3[3,1] + X_3[3,1]
W_2[3,2] + K_3[3,2] + X_3[3,2]
W_2[3,3] + K_3[3,3] + X_3[3,3]
W_2[0,0] + 02*S(X_2[0,0]) + 03*S(X_2[1,1]) + S(X_2[2,2]) + S(X_2[3,3])
W_2[0,1] + 02*S(X_2[0,1]) + 03*S(X_2[1,2]) + S(X_2[2,3]) + S(X_2[3,0])
W_2[0,2] + 02*S(X_2[0,2]) + 03*S(X_2[1,3]) + S(X_2[2,0]) + S(X_2[3,1])
W_2[0,3] + 02*S(X_2[0,3]) + 03*S(X_2[1,0]) + S(X_2[2,1]) + S(X_2[3,2])
W_2[1,0] + S(X_2[0,0]) + 02*S(X_2[1,1]) + 03*S(X_2[2,2]) + S(X_2[3,3])
W_2[1,1] + S(X_2[0,1]) + 02*S(X_2[1,2]) + 03*S(X_2[2,3]) + S(X_2[3,0])
W_2[1,2] + S(X_2[0,2]) + 02*S(X_2[1,3]) + 03*S(X_2[2,0]) + S(X_2[3,1])
W_2[1,3] + S(X_2[0,3]) + 02*S(X_2[1,0]) + 03*S(X_2[2,1]) + S(X_2[3,2])
W_2[2,0] + S(X_2[0,0]) + S(X_2[1,1]) + 02*S(X_2[2,2]) + 03*S(X_2[3,3])
W_2[2,1] + S(X_2[0,1]) + S(X_2[1,2]) + 02*S(X_2[2,3]) + 03*S(X_2[3,0])
W_2[2,2] + S(X_2[0,2]) + S(X_2[1,3]) + 02*S(X_2[2,0]) + 03*S(X_2[3,1])
W_2[2,3] + S(X_2[0,3]) + S(X_2[1,0]) + 02*S(X_2[2,1]) + 03*S(X_2[3,2])
W_2[3,0] + 03*S(X_2[0,0]) + S(X_2[1,1]) + S(X_2[2,2]) + 02*S(X_2[3,3])
W_2[3,1] + 03*S(X_2[0,1]) + S(X_2[1,2]) + S(X_2[2,3]) + 02*S(X_2[3,0])
W_2[3,2] + 03*S(X_2[0,2]) + S(X_2[1,3]) + S(X_2[2,0]) + 02*S(X_2[3,1])
W_2[3,3] + 03*S(X_2[0,3]) + S(X_2[1,0]) + S(X_2[2,1]) + 02*S(X_2[3,2])
W_1[0,0] + K_2[0,0] + X_2[0,0]
W_1[0,1] + K_2[0,1] + X_2[0,1]
W_1[0,2] + K_2[0,2] + X_2[0,2]
W_1[0,3] + K_2[0,3] + X_2[0,3]
W_1[1,0] + K_2[1,0] + X_2[1,0]
W_1[1,1] + K_2[1,1] + X_2[1,1]
W_1[1,2] + K_2[1,2] + X_2[1,2]
W_1[1,3] + K_2[1,3] + X_2[1,3]
W_1[2,0] + K_2[2,0] + X_2[2,0]
W_1[2,1] + K_2[2,1] + X_2[2,1]
W_1[2,2] + K_2[2,2] + X_2[2,2]
W_1[2,3] + K_2[2,3] + X_2[2,3]
W_1[3,0] + K_2[3,0] + X_2[3,0]
W_1[3,1] + K_2[3,1] + X_2[3,1]
W_1[3,2] + K_2[3,2] + X_2[3,2]
W_1[3,3] + K_2[3,3] + X_2[3,3]
K_2[3,3] + K_3[3,2] + K_3[3,3]
K_2[3,2] + K_3[3,1] + K_3[3,2]
K_2[3,1] + K_3[3,0] + K_3[3,1]
S(K_2[0,3]) + K_2[3,0] + K_3[3,0]
K_2[2,3] + K_3[2,2] + K_3[2,3]
K_2[2,2] + K_3[2,1] + K_3[2,2]
K_2[2,1] + K_3[2,0] + K_3[2,1]
K_2[2,0] + S(K_2[3,3]) + K_3[2,0]
K_2[1,3] + K_3[1,2] + K_3[1,3]
K_2[1,2] + K_3[1,1] + K_3[1,2]
K_2[1,1] + K_3[1,0] + K_3[1,1]
K_2[1,0] + S(K_2[2,3]) + K_3[1,0]
K_2[0,3] + K_3[0,2] + K_3[0,3]
K_2[0,2] + K_3[0,1] + K_3[0,2]
K_2[0,1] + K_3[0,0] + K_3[0,1]
04 + K_2[0,0] + S(K_2[1,3]) + K_3[0,0]
W_1[0,0] + 02*S(X_1[0,0]) + 03*S(X_1[1,1]) + S(X_1[2,2]) + S(X_1[3,3])
W_1[0,1] + 02*S(X_1[0,1]) + 03*S(X_1[1,2]) + S(X_1[2,3]) + S(X_1[3,0])
W_1[0,2] + 02*S(X_1[0,2]) + 03*S(X_1[1,3]) + S(X_1[2,0]) + S(X_1[3,1])
W_1[0,3] + 02*S(X_1[0,3]) + 03*S(X_1[1,0]) + S(X_1[2,1]) + S(X_1[3,2])
W_1[1,0] + S(X_1[0,0]) + 02*S(X_1[1,1]) + 03*S(X_1[2,2]) + S(X_1[3,3])
W_1[1,1] + S(X_1[0,1]) + 02*S(X_1[1,2]) + 03*S(X_1[2,3]) + S(X_1[3,0])
W_1[1,2] + S(X_1[0,2]) + 02*S(X_1[1,3]) + 03*S(X_1[2,0]) + S(X_1[3,1])
W_1[1,3] + S(X_1[0,3]) + 02*S(X_1[1,0]) + 03*S(X_1[2,1]) + S(X_1[3,2])
W_1[2,0] + S(X_1[0,0]) + S(X_1[1,1]) + 02*S(X_1[2,2]) + 03*S(X_1[3,3])
W_1[2,1] + S(X_1[0,1]) + S(X_1[1,2]) + 02*S(X_1[2,3]) + 03*S(X_1[3,0])
W_1[2,2] + S(X_1[0,2]) + S(X_1[1,3]) + 02*S(X_1[2,0]) + 03*S(X_1[3,1])
W_1[2,3] + S(X_1[0,3]) + S(X_1[1,0]) + 02*S(X_1[2,1]) + 03*S(X_1[3,2])
W_1[3,0] + 03*S(X_1[0,0]) + S(X_1[1,1]) + S(X_1[2,2]) + 02*S(X_1[3,3])
W_1[3,1] + 03*S(X_1[0,1]) + S(X_1[1,2]) + S(X_1[2,3]) + 02*S(X_1[3,0])
W_1[3,2] + 03*S(X_1[0,2]) + S(X_1[1,3]) + S(X_1[2,0]) + 02*S(X_1[3,1])
W_1[3,3] + 03*S(X_1[0,3]) + S(X_1[1,0]) + S(X_1[2,1]) + 02*S(X_1[3,2])
W_0[0,0] + K_1[0,0] + X_1[0,0]
W_0[0,1] + K_1[0,1] + X_1[0,1]
W_0[0,2] + K_1[0,2] + X_1[0,2]
W_0[0,3] + K_1[0,3] + X_1[0,3]
W_0[1,0] + K_1[1,0] + X_1[1,0]
W_0[1,1] + K_1[1,1] + X_1[1,1]
W_0[1,2] + K_1[1,2] + X_1[1,2]
W_0[1,3] + K_1[1,3] + X_1[1,3]
W_0[2,0] + K_1[2,0] + X_1[2,0]
W_0[2,1] + K_1[2,1] + X_1[2,1]
W_0[2,2] + K_1[2,2] + X_1[2,2]
W_0[2,3] + K_1[2,3] + X_1[2,3]
W_0[3,0] + K_1[3,0] + X_1[3,0]
W_0[3,1] + K_1[3,1] + X_1[3,1]
W_0[3,2] + K_1[3,2] + X_1[3,2]
W_0[3,3] + K_1[3,3] + X_1[3,3]
K_1[3,3] + K_2[3,2] + K_2[3,3]
K_1[3,2] + K_2[3,1] + K_2[3,2]
K_1[3,1] + K_2[3,0] + K_2[3,1]
S(K_1[0,3]) + K_1[3,0] + K_2[3,0]
K_1[2,3] + K_2[2,2] + K_2[2,3]
K_1[2,2] + K_2[2,1] + K_2[2,2]
K_1[2,1] + K_2[2,0] + K_2[2,1]
K_1[2,0] + S(K_1[3,3]) + K_2[2,0]
K_1[1,3] + K_2[1,2] + K_2[1,3]
K_1[1,2] + K_2[1,1] + K_2[1,2]
K_1[1,1] + K_2[1,0] + K_2[1,1]
K_1[1,0] + S(K_1[2,3]) + K_2[1,0]
K_1[0,3] + K_2[0,2] + K_2[0,3]
K_1[0,2] + K_2[0,1] + K_2[0,2]
K_1[0,1] + K_2[0,0] + K_2[0,1]
02 + K_1[0,0] + S(K_1[1,3]) + K_2[0,0]
W_0[0,0] + 02*S(X_0[0,0]) + 03*S(X_0[1,1]) + S(X_0[2,2]) + S(X_0[3,3])
W_0[0,1] + 02*S(X_0[0,1]) + 03*S(X_0[1,2]) + S(X_0[2,3]) + S(X_0[3,0])
W_0[0,2] + 02*S(X_0[0,2]) + 03*S(X_0[1,3]) + S(X_0[2,0]) + S(X_0[3,1])
W_0[0,3] + 02*S(X_0[0,3]) + 03*S(X_0[1,0]) + S(X_0[2,1]) + S(X_0[3,2])
W_0[1,0] + S(X_0[0,0]) + 02*S(X_0[1,1]) + 03*S(X_0[2,2]) + S(X_0[3,3])
W_0[1,1] + S(X_0[0,1]) + 02*S(X_0[1,2]) + 03*S(X_0[2,3]) + S(X_0[3,0])
W_0[1,2] + S(X_0[0,2]) + 02*S(X_0[1,3]) + 03*S(X_0[2,0]) + S(X_0[3,1])
W_0[1,3] + S(X_0[0,3]) + 02*S(X_0[1,0]) + 03*S(X_0[2,1]) + S(X_0[3,2])
W_0[2,0] + S(X_0[0,0]) + S(X_0[1,1]) + 02*S(X_0[2,2]) + 03*S(X_0[3,3])
W_0[2,1] + S(X_0[0,1]) + S(X_0[1,2]) + 02*S(X_0[2,3]) + 03*S(X_0[3,0])
W_0[2,2] + S(X_0[0,2]) + S(X_0[1,3]) + 02*S(X_0[2,0]) + 03*S(X_0[3,1])
W_0[2,3] + S(X_0[0,3]) + S(X_0[1,0]) + 02*S(X_0[2,1]) + 03*S(X_0[3,2])
W_0[3,0] + 03*S(X_0[0,0]) + S(X_0[1,1]) + S(X_0[2,2]) + 02*S(X_0[3,3])
W_0[3,1] + 03*S(X_0[0,1]) + S(X_0[1,2]) + S(X_0[2,3]) + 02*S(X_0[3,0])
W_0[3,2] + 03*S(X_0[0,2]) + S(X_0[1,3]) + S(X_0[2,0]) + 02*S(X_0[3,1])
W_0[3,3] + 03*S(X_0[0,3]) + S(X_0[1,0]) + S(X_0[2,1]) + 02*S(X_0[3,2])
P[0,0] + K_0[0,0] + X_0[0,0]
P[0,1] + K_0[0,1] + X_0[0,1]
P[0,2] + K_0[0,2] + X_0[0,2]
P[0,3] + K_0[0,3] + X_0[0,3]
P[1,0] + K_0[1,0] + X_0[1,0]
P[1,1] + K_0[1,1] + X_0[1,1]
P[1,2] + K_0[1,2] + X_0[1,2]
P[1,3] + K_0[1,3] + X_0[1,3]
P[2,0] + K_0[2,0] + X_0[2,0]
P[2,1] + K_0[2,1] + X_0[2,1]
P[2,2] + K_0[2,2] + X_0[2,2]
P[2,3] + K_0[2,3] + X_0[2,3]
P[3,0] + K_0[3,0] + X_0[3,0]
P[3,1] + K_0[3,1] + X_0[3,1]
P[3,2] + K_0[3,2] + X_0[3,2]
P[3,3] + K_0[3,3] + X_0[3,3]
K_0[3,3] + K_1[3,2] + K_1[3,3]
K_0[3,2] + K_1[3,1] + K_1[3,2]
K_0[3,1] + K_1[3,0] + K_1[3,1]
S(K_0[0,3]) + K_0[3,0] + K_1[3,0]
K_0[2,3] + K_1[2,2] + K_1[2,3]
K_0[2,2] + K_1[2,1] + K_1[2,2]
K_0[2,1] + K_1[2,0] + K_1[2,1]
K_0[2,0] + S(K_0[3,3]) + K_1[2,0]
K_0[1,3] + K_1[1,2] + K_1[1,3]
K_0[1,2] + K_1[1,1] + K_1[1,2]
K_0[1,1] + K_1[1,0] + K_1[1,1]
K_0[1,0] + S(K_0[2,3]) + K_1[1,0]
K_0[0,3] + K_1[0,2] + K_1[0,3]
K_0[0,2] + K_1[0,1] + K_1[0,2]
K_0[0,1] + K_1[0,0] + K_1[0,1]
01 + K_0[0,0] + S(K_0[1,3]) + K_1[0,0]

=======================================================

P[0,0] P[0,1] P[0,2] P[0,3] P[1,0] P[1,1] P[1,2] P[1,3] P[2,0] P[2,1] P[2,2] P[2,3] P[3,0] P[3,1] P[3,2] P[3,3] X_3[0,0] X_3[0,1] X_3[0,2] X_3[0,3] X_3[1,0] X_3[1,1] X_3[1,2] X_3[1,3] X_3[2,0] X_3[2,1] X_3[2,2] X_3[2,3] X_3[3,0] X_3[3,1] X_3[3,2] X_3[3,3] 
